Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
601	Microsoft Word - AdmissionTestAndSyllabus.doc Add to Reading List Source URL: dottorato.di.uniba.it Language: English - Date: 2013-01-16 15:09:09 Computing Software engineering Science and technology in the United States Turing Award laureates Programming paradigms Alfred Aho Programming language Database John Hopcroft Theoretical computer science Computer science Object-oriented programming
602	Electrical Engineering Department of Electrical and Computer Engineering Electrical Engineers are involved in channeling natural resources into uses for man such as heating, lighting, home appliances, transportation, and Add to Reading List Source URL: enrollment.mst.edu Language: English - Date: 2014-09-04 16:23:21 Engineering Engineering education Engineering physics Electrical engineering Science and technology Education George Washington University School of Engineering and Applied Science Draft:African American men in computer science
603	ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises
604	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz II Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Computing Cryptography Software engineering Hypertext Transfer Protocol Cryptographic protocols Secure communication E-commerce Transmission Control Protocol HTTPS Password HTTP cookie OpenSSL
605	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process
606	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz II Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2016-01-29 11:50:05 Cryptography Microsoft Windows Computing Computer network security Authentication protocols Kerberos BitLocker Password Email
607	LARGE-SCALE MUSIC SIMILARITY SEARCH WITH SPATIAL TREES Brian McFee Computer Science and Engineering University of California, San Diego ABSTRACT Add to Reading List Source URL: eceweb.ucsd.edu Language: English - Date: 2015-07-31 19:00:26 Statistics Search algorithms Information science Information Dimension reduction K-d tree K-means clustering Normal distribution K-nearest neighbors algorithm Principal component analysis Locality-sensitive hashing Nearest neighbor search
608	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
609	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-02-03 05:56:31 Software engineering Unified Modeling Language Technology Computing Diagram Object Process Methodology Modeling language Class diagram Abstract state machines Profile Domain analysis Specification
610	To appear in: Concurrency: Practice & Experience, Vol. 11, Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher Computer Science Department, University of K Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:30:03 Software engineering Computing Computer programming Object-oriented programming languages Object-oriented programming Concurrent programming languages Sun Microsystems Cross-platform software Java Constructor This Objective-C

UPDATE